#switcher {
    float: right;
    width: 400px;
    padding: 1em 2em;
    border: thin solid grey;
    background: lightgrey;
}

body.narrow dl {
    width: 300px;
}

body.large dl {
    width: 400px;
}

.selected {
    font-weight: bold;
}

.hidden{
    display: none;
}

.hover{
    cursor: pointer;
    background: #afa;
}